منابع مشابه
Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants
1 Système à représenter 3 1.1 Description générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Les processus associés à la station graphique . . . . . . . . . . . . . . . . . . . . 4 1.2.1 Processus associé au cas d’utilisation “Cas 1” : . . . . . . . . . . . . . . 4 1.2.2 Processus associé au cas d’utilisation “Cas 2” : . . . . . . . . . . . . . . 4 1.3 Les processus ...
متن کامل2 Manuel
> This paper presents some fundamental properties of independent and-par-allelism and extends its applicability by enlarging the class of goals eligible for parallel execution. A simple model of (independent) and-parallel execution is proposed and issues of correctness and eeciency discussed in the light of this model. Two conditions, \strict" and \non-strict" independence , are deened and then...
متن کاملManuel PostGIS 2.2.0dev
PostGIS est une extension du système de base de données relationnel-objet qui permet de stocker des objets SIG (Systèmed’Information Géographique) dans la base. PostGIS comporte un support des index spatiaux R-Tree basé sur GiST et desfonctions d’analyse et de traitement des objets SIG. Manuel de la version 2.2.0dev This work is licensed under a Creative Commons Attribution-Share Alike ...
متن کاملManuel Fernández Veiga
I joined the Telecommunications Engineering School [1], University of Vigo [2], as an assistant professor in 1996, after having a teaching assistantship position in University of Valladolid [3] (1992-1996). I am a member of the Networking Laboratory [4], a center conducting teaching and research in the broad field of computer networking, information coding and communications engineering, and af...
متن کاملThis is Scribe ! Manuel
This paper presents S ribe, a fun tional programming language for authoring do uments. Even if it is a general purpose tool, it best suits the writing of te hni al do uments su h as web pages or te hni al reports, API do umentations, et . Exe uting S ribe programs an produ e do uments of various formats su h as PostS ript, PDF, HTML, Texinfo or Unix man pages. That is, the very same program an ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Il Nuovo Cimento
سال: 1899
ISSN: 0029-6341,1827-6121
DOI: 10.1007/bf02742716